Axioms for abstract model theory
نویسندگان
چکیده
منابع مشابه
Axiom Schemata as Metalevel Axioms: Model Theory
Logicians frequently use axiom schemata to encode (potentially infinite) sets of sentences with particular syntactic form. In this paper we examine a first-order language in which it is possible to write expressions that both describe sentences and assert the truth of the sentences so described. The effect of adding such expressions to a knowledge base is the same as directly including the set ...
متن کاملPositive Model Theory and Compact Abstract Theories
We develop positive model theory, which is a non first order analogue of classical model theory where compactness is kept at the expense of negation. The analogue of a first order theory in this framework is a compact abstract theory: several equivalent yet conceptually different presentations of this notion are given. We prove in particular that Banach and Hilbert spaces are compact abstract t...
متن کاملA Proof Theory for Model Checking: An Extended Abstract
While model checking has often been considered as a practical alternative to building formal proofs, we argue here that the theory of sequent calculus proofs can be used to provide an appealing foundation for model checking. Since the emphasis of model checking is on establishing the truth of a property in a model, we rely on the proof theoretic notion of additive inference rules, since such ru...
متن کاملAbstract model theory for extensions of modal logic
model theory for extensions of modal logic
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Annals of Mathematical Logic
سال: 1974
ISSN: 0003-4843
DOI: 10.1016/0003-4843(74)90016-3